翻訳と辞書 Words near each other ・ System utility (system engineering) ・ System V Interface Definition ・ System V printing system ・ System deployment ・ System Deployment Image ・ System Design and Management (MIT) ・ System Design Review ・ System Development Corporation ・ System distribution ・ System Divide ・ System dynamics ・ System Dynamics Society ・ System equivalence ・ System Express ・ System F ・ System F-sub ・ System Fault Tolerance ・ System file ・ System File Checker ・ System Flaw ・ System Floors (UK) Ltd v Daniel ・ System folder ・ System for Award Management ・ System for Cross-domain Identity Management ・ System for Electronic Document Analysis and Retrieval ・ System for Information on Grey Literature in Europe ・ System for Teaching Experimental Psychology ・ System G ・ System G (supercomputer) ・ System generation Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク System F-sub ： ウィキペディア英語版 System F-sub In the branch of mathematical logic known as type theory, System F<:, pronounced "F-sub", is an extension of system F with subtyping. System F<: has been of central importance to programming language theory since the 1980s because the core of functional programming languages, like those in the ML family, support both parametric polymorphism and record subtyping, which can be expressed in System F<:. == See also == * Bounded quantification * POPLmark 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「System F-sub」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.